Google search: Chromebook keyboard layout Top Row: Shortcut Keys Bottom row Key 1: Control Key 1: Esc key

Source URL: kitweb.nhusd.k12.ca.us

Teaching program specification and verification using JML and ESC/Java2 Erik Poll

Source URL: www.cs.ru.nl

• Logic in computer science
• Formal methods
• ESC/Java
• Programming paradigms
• Static program analysis
• Predicate transformer semantics
• KeY
• Postcondition
• Invariant
• Software engineering
• Theoretical computer science
• Computing